Instance Verification Kit (IVK)

spin lock @ [158997+43+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
end_unlink_async [93841+16+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
end_unlink_intr [108902+15+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
fusbh200_endpoint_disable [158677+25+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
fusbh200_endpoint_reset [160607+23+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
fusbh200_handle_controller_death [34577+32+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
fusbh200_handle_intr_unlinks [35339+28+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
fusbh200_iaa_watchdog [37235+21+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
fusbh200_irq [151926+12+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
fusbh200_urb_dequeue [157143+20+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
fusbh200_urb_done [66138+17+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
fusbh200_work [142988+13+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
itd_complete [131390+12+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
qh_completions [67645+14+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
scan_async [96158+10+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
scan_intr [115066+9+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
scan_isoc [135871+9+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
start_iaa_cycle [92817+15+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
start_unlink_async [95627+18+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
start_unlink_intr [107662+17+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]
unlink_empty_async [94608+18+/linux-3.17-rc1/drivers/usb/host/fusbh200-hcd.c]